Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
371	WECIQ[removed]Artigos Towards Quantum Haskell via Quantum Arrows Add to Reading List Source URL: ppginf.ucpel.tche.br Language: English - Date: 2009-03-27 10:38:55 Applied mathematics Quantum mechanics Functional programming Adjoint functors Monad Quantum computer Quantum programming Arrow Quantum algorithm Theoretical computer science Physics Quantum information science
372	Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗ Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2008-11-17 11:04:51 Abstract algebra Monoid Functor PRO Adjoint functors Enriched category Cartesian closed category Algebraic structure Monad Category theory Algebra Monoidal categories
373	Model-theoretic imaginaries and coherent sheaves Ravi Rajani and Mike Prest Add to Reading List Source URL: eprints.ma.man.ac.uk Language: English - Date: 2008-09-27 03:17:32 Homological algebra Sheaf theory Adjoint functors Functor category Topos Sheaf Module Exact functor Imaginary element Category theory Abstract algebra Functors
374	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
375	MFPS[removed]Towards a Common Categorical Semantics Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-04-24 15:13:37 Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors
376	The Limit-Colimit Coincidence for Categories Paul Taylor 1994 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:48:24 Sheaf theory Universal property Limit Adjoint functors Sheaf Functor Coproduct Grothendieck topology Group action Abstract algebra Category theory Mathematics
377	A Foundation for GADTs and Inductive Families Dependent Polynomial Functor Approach Makoto Hamana Add to Reading List Source URL: www.cs.gunma-u.ac.jp Language: English - Date: 2011-07-20 18:02:16 Polynomials Adjoint functors Algebra Functor Limit Sheaf Universal property Continuous function Symbol Abstract algebra Mathematics Category theory
378	A brief introduction to algebraic set theory∗ Steve Awodey Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-13 15:36:04 Algebraic structures Boolean algebra Category theory Forcing Heyting algebra Functor Complete Boolean algebra Adjoint functors Topos Mathematics Abstract algebra Algebra
379	■ 連載自分自身を出力するプログラム Add to Reading List Source URL: www.ipsj.or.jp Language: English - Date: 2011-08-17 02:11:53 Adjoint functors Functional programming Monad Kleisli category Arrow Map Haskell Lambda Quine Software engineering Declarative programming Computer programming
380	DERIVATORS, POINTED DERIVATORS, AND STABLE DERIVATORS MORITZ GROTH Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2012-01-30 04:27:20 Functor Triangulated category Adjoint functors Natural transformation Equivalence of categories Derived category Universal property Nerve Homotopy category Category theory Abstract algebra Mathematics

UPDATE